Lane a Computation Lane B Computation Lane C Computation Command Monitor a Command Monitor B Command Monitor
نویسندگان
چکیده
This paper presents a quantitative reliability analysis of a system designed to tolerate both hardware and software faults. The system being studied achieves integrated fault tolerance by implementing N-Version Programming (NVP) on redundant hardware. The analysis of the system considers independent software faults, related software faults, transient hardware faults, permanent hardware faults, and imperfect coverage. The overall model is a Markov reward model in which the states of the Markov chain represent the long-term evolution of the structure of the system. For each operational connguration, a fault tree model captures the eeects of software faults and transient hardware faults on the task computation. The fault tree models deene the reward structure for the overall model. The software fault model is parame-terized using experimental data associated with a recent implementation of an NVP system using the current design paradigm, in which the predictions of software failures are very close to the empirical data. The hardware model is parameterized by considering typical failure rates associated with hardware faults and coverage parameters. Results from our study show that it is important to consider both hardware and software faults in the reliability analysis of an NVP system, since these estimates increase with time. Moreover, the function for error detection and recovery is extremely important to fault-tolerant software. Several orders of magnitude improvement in the overall system reliability can be observed if this function is provided promptly.
منابع مشابه
Lane a Computation Lane B Computation Lane C Computation Command Monitor a Command Monitor B Command Monitor C Servo - Control
This paper presents a quantitative reliability analysis of a system designed to tolerate both hardware and software faults. The system being studied achieves integrated fault tolerance by implementing N-Version Programming (NVP) on redundant hardware. The analysis of the system considers independent software faults, related software faults, transient hardware faults, permanent hardware faults, ...
متن کاملA Third-degree B-spline Collocation Scheme for Solving a Class of the Nonlinear Lane–-Emden Type Equations
In this paper, we use a numerical method involving collocation method with third B-splines as basis functions for solving a class of singular initial value problems (IVPs) of Lane--Emden type equation. The original differential equation is modified at the point of singularity. The modified problem is then treated by using B-spline approximation. In the case of non-linear problems, we first line...
متن کاملBangkok Traffic Monitoring System
Traffic data is essential for determining better traffic management and providing valuable information to drivers. Especially to tackle traffic congestion, traffic data is needed to understand traffic patterns, and to come up with proper solutions for congestion alleviation. In Bangkok, many authorities are involved with the management of traffic, and in recent years, Royal Thai Police has inst...
متن کاملNumerical Solution of Singular IVPs of Lane-Emden Type Using Integral Operator and Radial Basis Functions
متن کامل
Robust Real-Time Lane Delimiting Features Extraction
This paper presents a robust lane marking detection algorithm suited for a large variety of traffic scenarios, under various lighting conditions. The algorithm detects dark-light-dark transitions using an improved method for horizontal gradient computation, which accounts for the expected marking width and for the perspective effect by means of a variable size filter. The computation of the var...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993